shortcut: Improve formatting of ranges

Use a centered ellipsis, to make it look nicer.

diff --git a/gtk/gtkshortcutlabel.c b/gtk/gtkshortcutlabel.c
index 99c8666a7f1c2531d0418b0a0a1c17b738ab15a7..907761c88be3bfe7619d8f71dcb8a12c234fc6ab 100644 (file)
--- a/gtk/gtkshortcutlabel.c
+++ b/gtk/gtkshortcutlabel.c
@@ -241,7 +241,7 @@ gtk_shortcut_label_rebuild (GtkShortcutLabel *self)
        if (modifier2 == modifier)
          modifier2 = 0;
 
-      gtk_container_add (GTK_CONTAINER (self), dim_label ("â\80¦"));
+      gtk_container_add (GTK_CONTAINER (self), dim_label ("â\8b¯"));
 
       display_shortcut (GTK_CONTAINER (self), key2, modifier2);
     }